Skip to content

ci: only cancel doc CI on main.#25

Merged
1uc merged 1 commit intomainfrom
1uc/fix-docs-ci
Mar 16, 2025
Merged

ci: only cancel doc CI on main.#25
1uc merged 1 commit intomainfrom
1uc/fix-docs-ci

Conversation

@1uc
Copy link
Copy Markdown
Contributor

@1uc 1uc commented Mar 15, 2025

Currently, the CI to build and deploy the documentation is cancelled by any other run that starts this workflow.

Since it only checks that the docs build on anything other than main, we only need it to cancel concurrent runs for main. See,
https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/control-the-concurrency-of-workflows-and-jobs#example-only-cancel-in-progress-jobs-on-specific-branches

Currently, the CI to build and deploy the documentation
is cancelled by any other run that starts this workflow.

Since it only checks that the docs build on anything other
than `main`, we only need it to cancel concurrent runs
for `main`.
@1uc 1uc changed the title Only cancel doc CI on main. ci: only cancel doc CI on main. Mar 15, 2025
@codecov
Copy link
Copy Markdown

codecov bot commented Mar 15, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

📢 Thoughts on this report? Let us know!

@1uc 1uc marked this pull request as ready for review March 15, 2025 11:23
@sonarqubecloud
Copy link
Copy Markdown

@1uc 1uc merged commit 5778965 into main Mar 16, 2025
37 checks passed
@1uc 1uc deleted the 1uc/fix-docs-ci branch March 16, 2025 08:30
@1uc
Copy link
Copy Markdown
Contributor Author

1uc commented Mar 16, 2025

It correctly cancelled CI when merge two things into main in quick succession:

Error: The operation was canceled.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants